Icaps 2018: Alexander Svozil On Algorithms And Conditional Lower Bounds For Planning Problems

ICAPS 2018: Alexander Svozil on "Algorithms and Conditional Lower Bounds for Planning Problems"

New Unconditional Lower Bounds for Algorithms and Enumeration Problems

Simons Institute

QIP 2022 | Lower Bounds on Stabilizer Rank (Shir Peleg)

ICAPS 2015: "LP-based Heuristics for Cost-optimal Classical Planning"

Aleksandrs Belovs "Proving lower bounds for quantum algorithms"

Latvijas Universitāte

Lower bounds on the size of semidefinite programming relaxations 2

Institute for Mathematical Sciences

Lower bounds on the size of semidefinite programming relaxations 3

Institute for Mathematical Sciences

Algorithms and Lower Bounds for Comparator Circuits from Shrinkage

Simons Institute

Compressing Proofs of k-Out-Of-n Partial Knowledge

IACR

Lower Bounds Against PC With Extension Variables

Simons Institute

Session on Lower Bounds

IACR

Algorithms and SQ Lower Bounds for PAC Learning One-Hidden-Layer ReLU Networks

COLT

DeepSeek-Prover: Advancing Theorem Proving in LLMs through Large-Scale Synthetic Data (May 2024)

AI Paper Podcasts

Lower bounds on the size of semidefinite programming relaxations 1

Institute for Mathematical Sciences